Modules and Logic Programming

We study conditions for a concurrent construction of proof-nets in the framework developed by Andreoli in recent papers. We define specific correctness criteria for that purpose. We first study closed modules (i.e. validity of the execution of a logic program), then extend the criterion to open modules (i.e. validity during the execution) distinguishing criteria for acyclicity and connectability in order to allow incremental verification

Représentations graphiques et intelligence artificielle

Nous discuterons, dans cet article, des représentations graphiques en intelligence artificielle. Comme pour d'autres domaines, les représentations graphiques permettent l'expression, informelle, des données, structures de programmes ou de systèmes. Nous développerons toutefois plus avant ce qui est sans doute spécifique de l'intelligence artificielle, à savoir le fait que certains types de représentations graphiques sont "théorisés" afin de pouvoir effectuer interprétations et calculs. Réseaux sémantiques et graphes conceptuels serviront de support à notre propos. Nous indiquerons enfin l'état actuel des formalisations et les difficultés faisant l'objet de recherches actuelles

Systemes d'analyse tolerante du langage naturel

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Ontologies, Logique et Interaction

Le Web sémantique vise à enrichir les données du Web par des données "sémantiques" afin de permettre aux agents web d'utiliser l'information présente dans le Web, au-delà d'un simple affichage. Le rôle des ontologies est central dès lors qu'il permet de signaler aux agents Web ce que les ressources sont et comment celles-ci peuvent être utilisées. Nous proposons dans ce travail des perspectives originales pour représenter et utiliser non seulement ces ontologies mais aussi les folksonomies. Nous définissons notre modèle à partir de celui des espaces cohérents utilisé en Logique Linéaire. Les espaces de compatibilité ontologique nous permettent ainsi de rendre compte de ces objets et de leur interaction telle que mise en oeuvre sur le web. Nous proposons également une interprétation à base de la Ludique développée par J-Y Girard des processus d'interaction à l'oeuvre entre les agents web et les sources de données. Ces propositions forment un cadre riche qui nous permet de repenser la question philosophique de la création des concepts, d'une ontologie, et d'apporter un nouvel éclairage à certains des grands problèmes liés à la communication.Semantic Web is the ambitious project to enrich data in the Web with an "extra level of semantics" in order to enable intelligent web agents touse information in the Web, rather than only have it displayed on screen. Central insuch a project is the role of ontologies as knowledge representations designed to signal to web agents what resources are and what they can be used for. This work aimsto give some contribution to such a project by suggesting alternative perspectives from which to consider it. But also by proposing an original theoretical model, less constrained by the linguistic approach to symbolic representation, and most of all, capable to represent on a common logical ground both ontologies and folksonomies. This model exploits a special class of Coherence spaces (that come from Linear Logic) that we define as Ontological Compatibility Spaces (OCS). Together with OCSs, we propose also an interpretation of the query-answer interplay between web agents (and data sources), based on Ludics, that we deem capable to richly model the interactive processes by means of which information can be exchanged between systems that adopt different ontologies. Together, these proposals compose a rich and fascinating frame to consider, even from a purely philosophical point of view, issues like the process that leads to the definition of a concept in an ontology, and some major problems that emerges with the use of ontologies to enable communication. A recurring theme in this work is the tight and intricate relation that holds between ontology and the language.PARIS13-BU Sciences (930792102) / SudocSudocFranceF

GNU epsilon, un langage de programmation extensible

Le réductionnisme est une technique réaliste de conception et implantation de vrais langages de programmation, et conduit à des solutions plus faciles à étendre, expérimenter et analyser. Nous spéci ons formellement et implantons un langage de programmation extensible, basé sur un langage-noyau minimaliste impératif du premier ordre, équipé de mécanismes d abstraction forts et avec des possibilités de ré exion et auto-modi cation. Le langage peut être étendu à des niveaux très hauts : en utilisant des macros à la Lisp et des transformations de code à code réécrivant les expressions étendues en expressions-noyau, nous dé nissons les clôtures et les continuations de première classe au dessus du noyau. Les programmes qui ne s auto-modi ent pas peuvent être analysés formellement, grâce à la simplicité de la sémantique. Nous développons formellement un exemple d analyse statique et nous prouvons une propriété de soundness par apport à la sémantique dynamique. Nous développons un ramasse-miettes parallèle qui convient aux machines multi-cœurs, pour permettre l exécution e cace de programmes parallèles.Reductionism is a viable strategy for designing and implementing practical programming languages, leading to solutions which are easier to extend, experiment with and formally analyze. We formally specify and implement an extensible programming language, based on a minimalistic rst-order imperative core language plus strong abstraction mechanisms, re ection and self-modi cation features. The language can be extended to very high levels: by using Lisp-style macros and code-to-code transforms which automatically rewrite high-level expressions into core forms, we de ne closures and rst-class continuations on top of the core.Non-self-modifying programs can be analyzed and formally reasoned upon, thanks to the language simple semantics. We formally develop a static analysis and prove a soundness property with respect to the dynamic semantics. We develop a parallel garbage collector suitable to multi-core machines to permit e cient execution of parallel programs.PARIS13-BU Sciences (930792102) / SudocSudocFranceF

Linear Logic for Taxonomical Networks and Database Updates

The aim of this paper is to propose a logical way to handle uncertain knowledge and change. Databases, diagnostic, planification, taxonomy are some of the domains concerned by this problem. This paper focuses on the means Linear Logic offers to represent taxonomical networks and to perform updates of databases containing incomplete information. The two problems are first expressed in graph theory: a taxonomical network is a structure for representing knowledge as a graph whose vertices are concepts, and edges are relations between concepts; a database is specified by facts, deduction rules, i.e. edges between literals, and update constraints. Their formalization in Linear Logic is performed in a very similar way. 1 Introduction The aim of this paper is to propose Linear Logic for the representation of uncertain knowledge and change: basically, some knowledge (inference or fact), legitimate in most of the situations, has to be cancelled or forgotten in some special cases. Databases, di..

Influence des annotations imparfaites sur les systèmes de Traitement Automatique des Langues, un cadre applicatif (la résolution de l'anaphore pronominale)

Un système informatique ne peut traiter un texte sans que certaines informations, comme les mots ou les phrases, ne soient annotées. Or, à ce jour, aucun système ne réalise automatiquement une annotation parfaite d'un texte. Ce constat fait, une question s'impose: quel système de traitement automatique des langues obtient les meilleures petrformances, un système qui intégre l'imperfection des annotations dans son processus de raisonnement ou un système prevu pour raisonner à partir d'annotations parfaites mais travaillant avec des annotations imparfaites? Pour y répondre nous avons proposé un modèle d'inférence probabiliste reposant sur les réseaux bayésiens (RB), un formalisme adapté pour travailler sur des données imparfaites. Nous avons travaillé sur le problème de la résolution du pronom "it" anaphorique dans les textes anglais et validé notre modèle en évaluant deux RB sur des corpus différents: un RB pour la reconnaissances des pronoms impersonnels et un RB pour le choix de l'antécédant. Les performances du premier RB sont meilleurs que celles des systèmes de l'état de l'art concurrents et mettent en évidence l'intérêt de notre modèle. Sur la seconde tâche, plus difficile, les performances du second RB sont moins satisfaisantes mais restent comparables aux performances des systèmes de l'état de l'art et elles montrent un résultat intéressant: lorsque que l'imperfection des annotations est prise en compte dans l'inférence, l'empli d'annotations de mauvaises qualités ne dégrade que très faiblement les performances du système; si, sans être parfaites, les annotations sont de meilleure qualité, leur utilisation améliore significativement les performances du système.It is not possible for a science computing system to process a text when sequences, like words or sentences, are not annotated. However, to date, no system has been able to automatically produce a perfect annotation of a text. This report poses the folowing question; which is the better natural language processing system: a system designed to integrate imperfect annotations in its reasoning process or a system designed to work with perfect annotation but dealing with imperfect annotations? To answer this, we have proposed a probabilistic inference model based on Bayesian Networks (BN), a formalism well adapted to reasoning from imperfect data. We have worked on the resolution of the anaphoric pronoun "it" and validate our model in evaluating two BN on different corpora: a BN dedicated to the resolution of the impersonal pronoun recognition problem and a BN dealing with the choice of he antecedent problem. The performance of the first BN achieves better results than competing state of the art systems thus highlighting the strenghts of our model. The performance of the second !bn on the choice of the antecedent problem, which is known to be difficult task, is not as good. However, the results are still comparable with the performance achieved by the state of the art systems and lead to an intersting outcome: when the imperfection of the annotation is taken into acount in the inference process, using bad quality annotations slightly worsens the overall performances of the system; when using better quality annotations, yet still not perfect, teh results achieved are significantly better.PARIS13-BU Sciences (930792102) / SudocSudocFranceF